ar X iv : 0 90 5 . 03 73 v 1 [ m at h . O C ] 4 M ay 2 00 9 Continuity of set - valued maps revisited in the light of tame geometry

نویسنده

  • JEFFREY PANG
چکیده

Continuity of set-valued maps is hereby revisited: after recalling some basic concepts of variational analysis and a short description of the State-of-the-Art, we obtain as by-product two Sard type results concerning local minima of scalar and vector valued functions. Our main result though, is inscribed in the framework of tame geometry, stating that a closed-valued semialgebraic set-valued map is almost everywhere continuous (in both topological and measure-theoretic sense). The result –depending on stratification techniques– holds true in a more general setting of o-minimal (or tame) set-valued maps. Some applications are briefly discussed at the end.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

ar X iv : 0 90 5 . 45 11 v 1 [ m at h . A G ] 2 8 M ay 2 00 9 BLOWUPS IN TAME MONOMIAL IDEALS

We study blowups of affine n-space with center an arbitrary monomial ideal and call monomial ideals that render smooth blowups tame ideals. We give a combinatorial criterion to decide whether the blowup is smooth and apply this criterion to discuss a smoothing procedure proposed by Rosenberg, monomial building sets and permutohedra.

متن کامل

ar X iv : 0 90 5 . 03 71 v 1 [ m at h . L O ] 4 M ay 2 00 9 Complete Types in an Extension of the System AF 2

In this paper, we extend the system AF2 in order to have the subject reduction for the βη-reduction. We prove that the types with positive quantifiers are complete for models that are stable by weak-head expansion.

متن کامل

ar X iv : 0 90 5 . 03 57 v 1 [ m at h . L O ] 4 M ay 2 00 9 A completeness result for the simply typed λ μ - calculus

In this paper, we define a realizability semantics for the simply typed λµ-calculus. We show that if a term is typable, then it inhabits the interpretation of its type. This result serves to give characterizations of the computational behavior of some closed typed terms. We also prove a completeness result of our realizability semantics using a particular term model.

متن کامل

ar X iv : 0 90 5 . 25 85 v 1 [ m at h . C O ] 1 5 M ay 2 00 9 CHARACTERISTIC POINTS OF RECURSIVE SYSTEMS

Characteristic points have been a primary tool in the study of a generating function defined by a single recursive equation. We investigate the proper way to adapt this tool when working with multi-equation recursive systems.

متن کامل

Continuity of set-valued maps revisited in the light of tame geometry

Continuity of set-valued maps is hereby revisited: after recalling some basic concepts of variational analysis and a short description of the State-of-the-Art, we obtain as by-product two Sard type results concerning local minima of scalar and vector valued functions. Our main result though, is inscribed in the framework of tame geometry, stating that a closed-valued semialgebraic set-valued ma...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2009